#ifndef TECHNICIAN_H
#define TECHNICIAN_H

#include "copyright.h"
#include "theaternames.h"


int technicianInitialize();

void technician();


void finishedAgent();






#endif